Optimal. Leaf size=163 \[ \frac {8 b d^3 n \sqrt {d+e x}}{35 e^2}+\frac {8 b d^2 n (d+e x)^{3/2}}{105 e^2}+\frac {8 b d n (d+e x)^{5/2}}{175 e^2}-\frac {4 b n (d+e x)^{7/2}}{49 e^2}-\frac {8 b d^{7/2} n \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{35 e^2}-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 163, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 7, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {45, 2392, 12,
81, 52, 65, 214} \begin {gather*} -\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}-\frac {8 b d^{7/2} n \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{35 e^2}+\frac {8 b d^3 n \sqrt {d+e x}}{35 e^2}+\frac {8 b d^2 n (d+e x)^{3/2}}{105 e^2}+\frac {8 b d n (d+e x)^{5/2}}{175 e^2}-\frac {4 b n (d+e x)^{7/2}}{49 e^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 45
Rule 52
Rule 65
Rule 81
Rule 214
Rule 2392
Rubi steps
\begin {align*} \int x (d+e x)^{3/2} \left (a+b \log \left (c x^n\right )\right ) \, dx &=-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}-(b n) \int \frac {2 (d+e x)^{5/2} (-2 d+5 e x)}{35 e^2 x} \, dx\\ &=-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}-\frac {(2 b n) \int \frac {(d+e x)^{5/2} (-2 d+5 e x)}{x} \, dx}{35 e^2}\\ &=-\frac {4 b n (d+e x)^{7/2}}{49 e^2}-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}+\frac {(4 b d n) \int \frac {(d+e x)^{5/2}}{x} \, dx}{35 e^2}\\ &=\frac {8 b d n (d+e x)^{5/2}}{175 e^2}-\frac {4 b n (d+e x)^{7/2}}{49 e^2}-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}+\frac {\left (4 b d^2 n\right ) \int \frac {(d+e x)^{3/2}}{x} \, dx}{35 e^2}\\ &=\frac {8 b d^2 n (d+e x)^{3/2}}{105 e^2}+\frac {8 b d n (d+e x)^{5/2}}{175 e^2}-\frac {4 b n (d+e x)^{7/2}}{49 e^2}-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}+\frac {\left (4 b d^3 n\right ) \int \frac {\sqrt {d+e x}}{x} \, dx}{35 e^2}\\ &=\frac {8 b d^3 n \sqrt {d+e x}}{35 e^2}+\frac {8 b d^2 n (d+e x)^{3/2}}{105 e^2}+\frac {8 b d n (d+e x)^{5/2}}{175 e^2}-\frac {4 b n (d+e x)^{7/2}}{49 e^2}-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}+\frac {\left (4 b d^4 n\right ) \int \frac {1}{x \sqrt {d+e x}} \, dx}{35 e^2}\\ &=\frac {8 b d^3 n \sqrt {d+e x}}{35 e^2}+\frac {8 b d^2 n (d+e x)^{3/2}}{105 e^2}+\frac {8 b d n (d+e x)^{5/2}}{175 e^2}-\frac {4 b n (d+e x)^{7/2}}{49 e^2}-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}+\frac {\left (8 b d^4 n\right ) \text {Subst}\left (\int \frac {1}{-\frac {d}{e}+\frac {x^2}{e}} \, dx,x,\sqrt {d+e x}\right )}{35 e^3}\\ &=\frac {8 b d^3 n \sqrt {d+e x}}{35 e^2}+\frac {8 b d^2 n (d+e x)^{3/2}}{105 e^2}+\frac {8 b d n (d+e x)^{5/2}}{175 e^2}-\frac {4 b n (d+e x)^{7/2}}{49 e^2}-\frac {8 b d^{7/2} n \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{35 e^2}-\frac {2 d (d+e x)^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^2}+\frac {2 (d+e x)^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.12, size = 120, normalized size = 0.74 \begin {gather*} -\frac {2 \left (420 b d^{7/2} n \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )+\sqrt {d+e x} \left (105 a (2 d-5 e x) (d+e x)^2+2 b n \left (-247 d^3+71 d^2 e x+183 d e^2 x^2+75 e^3 x^3\right )+105 b (2 d-5 e x) (d+e x)^2 \log \left (c x^n\right )\right )\right )}{3675 e^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.02, size = 0, normalized size = 0.00 \[\int x \left (e x +d \right )^{\frac {3}{2}} \left (a +b \ln \left (c \,x^{n}\right )\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.50, size = 159, normalized size = 0.98 \begin {gather*} \frac {4}{3675} \, {\left (105 \, d^{\frac {7}{2}} e^{\left (-2\right )} \log \left (\frac {\sqrt {x e + d} - \sqrt {d}}{\sqrt {x e + d} + \sqrt {d}}\right ) - {\left (75 \, {\left (x e + d\right )}^{\frac {7}{2}} - 42 \, {\left (x e + d\right )}^{\frac {5}{2}} d - 70 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{2} - 210 \, \sqrt {x e + d} d^{3}\right )} e^{\left (-2\right )}\right )} b n + \frac {2}{35} \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} e^{\left (-2\right )} - 7 \, {\left (x e + d\right )}^{\frac {5}{2}} d e^{\left (-2\right )}\right )} b \log \left (c x^{n}\right ) + \frac {2}{35} \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} e^{\left (-2\right )} - 7 \, {\left (x e + d\right )}^{\frac {5}{2}} d e^{\left (-2\right )}\right )} a \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.40, size = 374, normalized size = 2.29 \begin {gather*} \left [\frac {2}{3675} \, {\left (210 \, b d^{\frac {7}{2}} n \log \left (\frac {x e - 2 \, \sqrt {x e + d} \sqrt {d} + 2 \, d}{x}\right ) + {\left (494 \, b d^{3} n - 75 \, {\left (2 \, b n - 7 \, a\right )} x^{3} e^{3} - 210 \, a d^{3} - 6 \, {\left (61 \, b d n - 140 \, a d\right )} x^{2} e^{2} - {\left (142 \, b d^{2} n - 105 \, a d^{2}\right )} x e + 105 \, {\left (5 \, b x^{3} e^{3} + 8 \, b d x^{2} e^{2} + b d^{2} x e - 2 \, b d^{3}\right )} \log \left (c\right ) + 105 \, {\left (5 \, b n x^{3} e^{3} + 8 \, b d n x^{2} e^{2} + b d^{2} n x e - 2 \, b d^{3} n\right )} \log \left (x\right )\right )} \sqrt {x e + d}\right )} e^{\left (-2\right )}, \frac {2}{3675} \, {\left (420 \, b \sqrt {-d} d^{3} n \arctan \left (\frac {\sqrt {x e + d} \sqrt {-d}}{d}\right ) + {\left (494 \, b d^{3} n - 75 \, {\left (2 \, b n - 7 \, a\right )} x^{3} e^{3} - 210 \, a d^{3} - 6 \, {\left (61 \, b d n - 140 \, a d\right )} x^{2} e^{2} - {\left (142 \, b d^{2} n - 105 \, a d^{2}\right )} x e + 105 \, {\left (5 \, b x^{3} e^{3} + 8 \, b d x^{2} e^{2} + b d^{2} x e - 2 \, b d^{3}\right )} \log \left (c\right ) + 105 \, {\left (5 \, b n x^{3} e^{3} + 8 \, b d n x^{2} e^{2} + b d^{2} n x e - 2 \, b d^{3} n\right )} \log \left (x\right )\right )} \sqrt {x e + d}\right )} e^{\left (-2\right )}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 583 vs.
\(2 (165) = 330\).
time = 33.33, size = 583, normalized size = 3.58 \begin {gather*} \frac {2 a d \left (- \frac {d \left (d + e x\right )^{\frac {3}{2}}}{3} + \frac {\left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{e^{2}} + \frac {2 a \left (\frac {d^{2} \left (d + e x\right )^{\frac {3}{2}}}{3} - \frac {2 d \left (d + e x\right )^{\frac {5}{2}}}{5} + \frac {\left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{e^{2}} + \frac {2 b d \left (- d \left (\frac {\left (d + e x\right )^{\frac {3}{2}} \log {\left (c \left (- \frac {d}{e} + \frac {d + e x}{e}\right )^{n} \right )}}{3} - \frac {2 n \left (\frac {d^{2} e \operatorname {atan}{\left (\frac {\sqrt {d + e x}}{\sqrt {- d}} \right )}}{\sqrt {- d}} + d e \sqrt {d + e x} + \frac {e \left (d + e x\right )^{\frac {3}{2}}}{3}\right )}{3 e}\right ) + \frac {\left (d + e x\right )^{\frac {5}{2}} \log {\left (c \left (- \frac {d}{e} + \frac {d + e x}{e}\right )^{n} \right )}}{5} - \frac {2 n \left (\frac {d^{3} e \operatorname {atan}{\left (\frac {\sqrt {d + e x}}{\sqrt {- d}} \right )}}{\sqrt {- d}} + d^{2} e \sqrt {d + e x} + \frac {d e \left (d + e x\right )^{\frac {3}{2}}}{3} + \frac {e \left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{5 e}\right )}{e^{2}} + \frac {2 b \left (d^{2} \left (\frac {\left (d + e x\right )^{\frac {3}{2}} \log {\left (c \left (- \frac {d}{e} + \frac {d + e x}{e}\right )^{n} \right )}}{3} - \frac {2 n \left (\frac {d^{2} e \operatorname {atan}{\left (\frac {\sqrt {d + e x}}{\sqrt {- d}} \right )}}{\sqrt {- d}} + d e \sqrt {d + e x} + \frac {e \left (d + e x\right )^{\frac {3}{2}}}{3}\right )}{3 e}\right ) - 2 d \left (\frac {\left (d + e x\right )^{\frac {5}{2}} \log {\left (c \left (- \frac {d}{e} + \frac {d + e x}{e}\right )^{n} \right )}}{5} - \frac {2 n \left (\frac {d^{3} e \operatorname {atan}{\left (\frac {\sqrt {d + e x}}{\sqrt {- d}} \right )}}{\sqrt {- d}} + d^{2} e \sqrt {d + e x} + \frac {d e \left (d + e x\right )^{\frac {3}{2}}}{3} + \frac {e \left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{5 e}\right ) + \frac {\left (d + e x\right )^{\frac {7}{2}} \log {\left (c \left (- \frac {d}{e} + \frac {d + e x}{e}\right )^{n} \right )}}{7} - \frac {2 n \left (\frac {d^{4} e \operatorname {atan}{\left (\frac {\sqrt {d + e x}}{\sqrt {- d}} \right )}}{\sqrt {- d}} + d^{3} e \sqrt {d + e x} + \frac {d^{2} e \left (d + e x\right )^{\frac {3}{2}}}{3} + \frac {d e \left (d + e x\right )^{\frac {5}{2}}}{5} + \frac {e \left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{7 e}\right )}{e^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int x\,\left (a+b\,\ln \left (c\,x^n\right )\right )\,{\left (d+e\,x\right )}^{3/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________